翻訳と辞書 Words near each other ・ Well, You Needn't ・ Well-behaved ・ Well-behaved statistic ・ Well-being ・ Well-bird exam ・ Well-covered graph ・ Well-defined ・ Well-Deserved Obscurity ・ Well-Done (album) ・ Well-field system ・ WELL-FM ・ Well-formed ・ Well-formed document ・ Well-formed element ・ Well-formed formula ・ Well-formed Petri net ・ Well-Founded Fear ・ Well-founded phenomenon ・ Well-founded relation ・ Well-founded semantics ・ Well-known text ・ WELL-LD ・ Well-made play ・ Well-Manicured Man ・ Well-mannered ・ Well-order ・ Well-ordering principle ・ Well-ordering theorem ・ Well-pointed category ・ Well-posed problem Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Well-formed Petri net ： ウィキペディア英語版 Well-formed Petri net Well-formed Petri nets are a Petri net class jointly elaborated between the University of Paris 6 (Université P. & M. Curie) and the University of Torino in the early 1990s. It is a restrictions of the high-level nets (or colored Nets) introduced by K. Jensen. The main advantage of Well Formed Nets is the notion of symbolic reachability graph that is composed of ''symbolic states''. A symbolic state is a state representing several concrete states in the state space of the system described by the Petri net. So, much larger state spaces can be represented (the gain factor can be up to exponential). This notion of symbolic state space requires that only a limited set of operators are available (identify, broadcast, successor and predecessor functions are allowed on circular finite types). == References == * G. Chiola, (Characterization of timed well-formed Petri nets behavior by means of occurrence equations ). ''Proceedings of the Sixth International Workshop on Petri Nets and Performance Models'', page 27, IEEE Computer Society, Washington DC, USA. (ISBN 0-8186-7210-2.) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Well-formed Petri net」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.